Language and Computation

Results: 343



#Item
261Philosophy of science / Scientific method / Serendipity / Translation / Software / Computing / Browse / Representational state transfer / Personalization / Science / Synchronicity / Language comparison

xCoAx 2013: Proceedings of the first conference on Computation, Communication, Aesthetics and X

Add to Reading List

Source URL: 2013.xcoax.org

Language: English - Date: 2013-05-23 05:13:44
262Logic programming / Prolog / Oz / Logic / Actor model / Programming language / First-order logic / Indeterminacy in concurrent computation / Logtalk / Software engineering / Computing / Computer programming

An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc

Add to Reading List

Source URL: www.cplire.ru

Language: English - Date: 2007-09-24 06:53:35
263Combinatorics / Mathematics / Regular expression / Alphabet / Finite-state machine / Regular language / Theory of computation / Kleene star / Nondeterministic finite automaton / Automata theory / Formal languages / Theoretical computer science

Theory of computation: Summary of main concepts 3. Finite automata and regular languages: theory State Minimization

Add to Reading List

Source URL: www.jn.inf.ethz.ch

Language: English - Date: 2005-11-28 16:45:08
264Models of computation / Computer science / Context-free language / Deterministic pushdown automaton / Pushdown automaton / Context-free grammar / Theory of computation / SC / CYK algorithm / Formal languages / Theoretical computer science / Automata theory

Theory of computation: Summary of main concepts 5. Context-free languages, grammars and pushdown automata fsm

Add to Reading List

Source URL: www.jn.inf.ethz.ch

Language: English - Date: 2005-11-28 16:45:10
265Knowledge / Lecture Notes in Computer Science / Systems theory / International Standard Serial Number / Information / Bernhard Thalheim / Science / Workshop on Logic /  Language /  Information and Computation / Dependency theory

Name: Sebastian Link August 2, 2010 Publications Completed Degrees

Add to Reading List

Source URL: slink.foiks.org

Language: English - Date: 2010-08-01 17:32:41
266Electronics / Finite-state machine / State transition system / Verilog / Transition / Token ring / Timer / Specification and Description Language / Models of computation / Electronic engineering / Computing

IF: An Intermediate Representation for SDL and its Applications Marius Bozga , Jean-Claude Fernandez , Lucian Ghirvu  , Susanne Graf , Jean-Pierre Krimm , Laurent Mounier and Joseph Sifakis VERIMAG, Centre Equation, 2 a

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:31
267Institute for Logic /  Language and Computation / Leiden University / Radboud University Nijmegen / University of Amsterdam / Nijmegen / Higher education / Henkjan Honing / Provinces of the Netherlands / Coimbra Group / Academia

VSNUlogoPMS-Z (geschikt voor drukwerk)

Add to Reading List

Source URL: www.euraxess.nl

Language: English - Date: 2011-04-18 08:12:06
268Concurrency / Formal methods / Software engineering / Computer science / Algebraic Petri nets / Petri / State diagram / Multiset / Petri Net Markup Language / Petri nets / Models of computation / Diagrams

High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]October 28, 2000 Contents

Add to Reading List

Source URL: www.petrinets.info

Language: English - Date: 2002-09-14 01:55:30
269Formal methods / Concurrency / Software engineering / Computer science / Algebraic Petri nets / Petri / State diagram / Petri Net Markup Language / TAPAAL Model Checker / Petri nets / Models of computation / Diagrams

High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents

Add to Reading List

Source URL: www.petrinets.info

Language: English - Date: 2003-01-10 02:18:16
270Models of computation / Concurrency / Diagrams / Petri nets / Algebraic Petri nets / Multiset / SQL / ALGOL 68 / Model theory / Software engineering / Computing / Programming language theory

Summary and Disposition of Comments for FCD15909 Date: 17 May 2001 From: Editor of Project[removed]

Add to Reading List

Source URL: www.petrinets.info

Language: English - Date: 2003-01-10 02:18:20
UPDATE